#ifndef USER_MUTEX_INNER_H_
#define USER_MUTEX_INNER_H_

#include "list.h"
#include "user_threads.h"
#include "user_mutex.h"

/* inits the mutexes module */
int mutexes_init(void);

/* sets the mutex to zomie when a locking thread exited */
void mutex_set_zombie(uthread_mutex_t mutex);

#endif
